---

formal functional programming system

英 [ˈfɔːml ˈfʌŋkʃənl ˈprəʊɡræmɪŋ ˈsɪstəm] 美 [ˈfɔːrml ˈfʌŋkʃənl ˈproʊɡræmɪŋ ˈsɪstəm]

【计】形式函数程序设计系统

计算机

---

---